Languages and Programming - PDFSEARCH.IO - Document Search Engine

Languages and Programming
Results: 5418

#	Item
81	How To Have Your Cake and Eat It, Too: Self-Applicable Online Partial Evaluation Michael Sperber Wilhelm-Schickard-Institut fur Informatik Universitat Tubingen Sand 13, DTubingen, Germany Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computing Computer programming Subroutines Data types Type theory Object-oriented programming languages Functional languages Partial evaluation Scala Recursion Memoization
82	Metacomputation: MST plus SCP Valentin F. Turchin The City College of New York First of all, I want to thank the organizers of this seminar for inviting me Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:04:37 Software engineering Computer programming Declarative programming Functional programming Functional languages Refal Metacompilation Functions and mappings Pattern matching Closure Function Monad
83	The Birth of the Pointer Variable Based upon: Experiences and Reﬂec;ons of a Computer Pioneer Harold “Bud” Lawson Add to Reading List Source URL: www.hig.no Language: English - Date: 2014-04-03 02:41:06 Software engineering Computing Computer programming Procedural programming languages COBOL PL/I UNIVAC Compiler Computer XPL Pointer
84	Combining Programming with Theorem Proving Chiyan Chen and Add to Reading List Source URL: www.cs.bu.edu Language: English - Date: 2005-11-01 11:55:41 Software engineering Computer programming Computing Functional languages Type theory Data types Procedural programming languages ATS Object-oriented programming ML Polymorphism OCaml
85	SPARQL Playground: a Block Programming Tool to Experiment with SPARQL Paolo Bottoni and Miguel Ceriani Sapienza, University of Rome, Italy , Add to Reading List Source URL: sunsite.informatik.rwth-aachen.de Language: English - Date: 2015-09-24 09:00:52 Computing Data management Data Semantic Web Query languages Resource Description Framework Web services SPARQL Semantic query RDF Schema Triplestore RDF query language
86	Advances in Programming Languages APL9: Monads and I/O Ian Stark School of Informatics The University of Edinburgh Add to Reading List Source URL: www.inf.ed.ac.uk Language: English - Date: 2010-02-10 19:35:24 Software engineering Computer programming Declarative programming Functional programming Data types Type theory Monad Option type Type class Map ALGOL 68 Functor
87	Reconciling Semantics, Implementation and Users Gérard Berry INRIA Sophia-Antipolis http://www-sop.inria.fr/Gerard.Berry Add to Reading List Source URL: events.inf.ed.ac.uk Language: English - Date: 2012-10-10 03:52:00 Theoretical computer science Logic in computer science Software engineering Computer science Hardware description languages Synchronous programming languages Formal methods Denotational semantics Esterel Robin Milner Milner Logic for Computable Functions
88	ePiX Tutorial and Reference Manual Add to Reading List Source URL: mathcs.holycross.edu Language: English - Date: 2012-04-01 11:01:32 Software Application software Free software Macro programming languages Vector graphics markup languages PSTricks LaTeX PGF/TikZ TeX Epix Samsung SGH-i907 R
89	The Guts of Perl (and why you should care) A brief tour through the perl compiler backends for the impatient refactorerer. Add to Reading List Source URL: scratchcomputing.com Language: English - Date: 2008-11-01 15:56:52 Software engineering Computer programming Computing Cross-platform software Object-oriented programming languages Control flow High-level programming languages Scripting languages Perl Entry point XS Eval
90	The Andromeda proof assistant Andrej Bauer University of Ljubljana Workshop on Categorical Logic and Univalent Foundations Add to Reading List Source URL: math.andrej.com Language: English - Date: 2016-07-28 09:19:23 Software engineering Software Programming language theory Type theory Proof assistants Functional languages Agda Univalent foundations Mathematical logic Coq Type system

UPDATE